Enforcing structural regularities in software using IntensiVE
نویسندگان
چکیده
منابع مشابه
Enforcing structural regularities in software using IntensiVE
The design and implementation of a software system is often governed by many different coding conventions, design patterns, architectural design rules, and other so-called structural regularities. To prevent a deterioration of the system’s source code, it is important that these regularities are verified and enforced in subsequent evolutions of the system. The Intensional Views Environment (Int...
متن کاملRegularities in Software Systems
Regularities, or the conformity to unifying principles, are essential to the comprehensibility, manageability and reliability of large software systems. Yet, as is argued in this paper, the inherent globality of regularities makes them very hard to establish in traditional methods, unless they are built into the very fabric of a programming language. This paper explores an approach to regularit...
متن کاملEnforcing Structural Invariants Using Dynamic Frames
The theory of dynamic frames is a promising approach to handle the so-called framing problem, that is, giving a precise characterizations of the locations in the heap that a procedure may modify. In this paper, we show that the machinery used for dynamic frames may be exploited even further. In particular, we use it to check that implementations of abstract data types maintain certain structura...
متن کاملEnforcing traceability in software
1 I n t r o d u c t i o n There has been much recent interest in notions of compliance in cryptographic systems: how can users be provided with adequate security services in a controlled manner that does not allow them to abuse those services for unapproved purposes. The area in which compliance has been most studied recently is in escrow schemes [8]. Here the important issue is to allow users ...
متن کاملExploring the structural regularities in networks
In this paper, we consider the problem of exploring structural regularities of networks by dividing the nodes of a network into groups such that the members of each group have similar patterns of connections to other groups. Specifically, we propose a general statistical model to describe network structure. In this model, a group is viewed as a hidden or unobserved quantity and it is learned by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2010
ISSN: 0167-6423
DOI: 10.1016/j.scico.2009.11.005